Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
311	Normalization Theory for XML Leonid Libkin1 School of Informatics, University of Edinburgh Abstract. Specifications of XML documents typically consist of typing Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-07-05 09:38:55 Data modeling Database theory Database constraints Technical communication Relational algebra Third normal form Database normalization Boyce–Codd normal form Relational model Computing Data management Data
312	Stochastic Choice: An Optimizing Neuroeconomic Model Michael Woodford∗ January 28, 2014 Abstract Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2014-07-28 22:25:12 Logistic regression Statistical theory Estimation theory Econometrics Statistics Regression analysis Categorical data
313	COORDINATION ISSUES IN LONG-RUN GROWTH* PETER HOWITT Department of Economics, Brown University, Providence, RI Contents Abstract Add to Reading List Source URL: www.econ.brown.edu Language: English - Date: 2005-03-18 08:40:00 Economic growth Welfare economics New classical macroeconomics Endogenous growth theory Neoclassical growth model Rational expectations Incentive JEL classification codes Keynesian economics Macroeconomics Economics Economic theories
314	Abstract Submitted for the MAR15 Meeting of The American Physical Society Mixed Strategies in cyclic competition1 BEN INTOY, MICHEL PLEIMLING, Virginia Tech — Physicists have been using evolutionary game theory Add to Reading List Source URL: absimage.aps.org Language: English - Date: 2015-01-06 17:27:05 Economics Macroeconomic model Science Mind Game theory Evolutionary game theory Strategy
315	A Blind Signature Scheme over Braid Groups Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-11 07:11:22 Group theory Knot theory Braid group Parity of a permutation Digital signature Model theory Structure Blind signature Abstract algebra Cryptography Mathematics
316	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
317	Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:09 Formal languages Models of computation Computability theory Formal methods Lambda calculus Actor model Algorithm Regular language Semantics Theoretical computer science Mathematics Applied mathematics
318	INFERENCE IN HIGH DIMENSIONAL PANEL MODELS WITH AN APPLICATION TO GUN CONTROL ALEXANDRE BELLONI, VICTOR CHERNOZHUKOV, CHRISTIAN HANSEN, AND DAMIAN KOZBUR Abstract. We consider estimation and inference in panel data model Add to Reading List Source URL: www.econ.ucsb.edu Language: English - Date: 2015-04-13 12:10:31 Econometrics Parametric statistics Analysis of variance Linear regression Least squares Instrumental variable Regularization Fixed effects model Ordinary least squares Statistics Regression analysis Estimation theory
319	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
320	General equilibrium model of arbitrage trade and real exchange rate persistence Martin Berka Massey University∗ Abstract Add to Reading List Source URL: homes.eco.auckland.ac.nz Language: English - Date: 2014-07-14 18:56:19 Mathematical finance Financial markets Pricing Foreign exchange market Arbitrage Balassa–Samuelson effect General equilibrium theory Volatility Price Economics Business International economics

UPDATE